The lower left corner of the screen shows the current state of the machine. By clicking on the text, an overview opens that shows current errors, deadlocks and the value of invariants.
